* admin/FOR-RELEASE: Add note about bad Texinfo node names
authorGlenn Morris <rgm@gnu.org>
Tue, 13 Aug 2013 07:04:10 +0000 (00:04 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 13 Aug 2013 07:04:10 +0000 (00:04 -0700)
commit2fe21f38d3cbb8863124ccdc22ca1fa62644225c
tree94b9d337a05125d56a437e75ce80744bbca190af
parent7ee723c3bf4ef14aab90198b76c27bb4ffb7086f
* admin/FOR-RELEASE: Add note about bad Texinfo node names
admin/FOR-RELEASE